//]]>
Unhighlight Highlight
Transactions on Petri Nets and Other Models of Concurrency VI by Jensen, Kurt. Publication: . XX, 365 p. 193 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Semantic Web – ISWC 2012 by Cudré-Mauroux, Philippe. Publication: . XXX, 677 p. 141 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Semantic Web – ISWC 2012 by Cudré-Mauroux, Philippe. Publication: . XXX, 467 p. 119 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Middleware 2012 by Narasimhan, Priya. Publication: . XVI, 498 p. 208 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ambient Intelligence by Paternò, Fabio. Publication: . XVI, 461 p. 158 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multi-Agent Systems by Cossentino, Massimo. Publication: . XII, 259 p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Human-Centered Software Engineering by Winckler, Marco. Publication: . XII, 370 p. 121 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Simulation, Modeling, and Programming for Autonomous Robots by Noda, Itsuki. Publication: . XIV, 414 p. 198 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Eder, Kerstin. Publication: . XII, 263 p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies by Margaria, Tiziana. Publication: . XVI, 361 p. 129 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change by Margaria, Tiziana. Publication: . XVI, 617 p. 170 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in New Technologies, Interactive Interfaces and Communicability by Cipolla-Ficarra, Francisco. Publication: . XII, 263 p. 101 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Conceptual Modeling by Castano, Silvana. Publication: . XX, 406 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Knowledge Engineering and Knowledge Management by Teije, Annette. Publication: . XVIII, 452 p. 102 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Natural Computing by Dediu, Adrian-Horia. Publication: . X, 227 p. 76 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering and Formal Methods by Eleftherakis, George. Publication: . XIV, 384 p. 103 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Safety, Reliability, and Security by Ortmeier, Frank. Publication: . XVI, 530 p. 198 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Computing by Aguilera, Marcos K. Publication: . XVI, 450 p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
On the Move to Meaningful Internet Systems: OTM 2012 by Meersman, Robert. Publication: . XXV, 485 p. 135 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model and Data Engineering by Abelló, Alberto. Publication: . XII, 187 p. 74 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية